graded differential complex

=cochain complex